// Copyright (c) 2023, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

typedef Typedef1<X extends num> = Class<X>;

class Class<X> {}

method1() => Typedef1();

typedef Typedef2<X extends num> = ExtensionType<X>;

extension type ExtensionType<X>(int i) {}

method2() => Typedef2(0);